Experiences Implementing a Parallel ATMS on a Shared-Memory Multiprocessor
نویسندگان
چکیده
The Assumption-Based Truth Maintenance System (ATMS) is an important tool in A I . So far its wider use has been l imited due to the enormous computational resources which it requires. We investigate the possibility of speeding it up by using a modest number of processors in parallel. We begin with a highly efficient sequential version written in C and then extend this version to allow parallel execution on the Encore Mult imax, a 16 node shared-memory multiprocessor. We describe our experiences in implementing this shared-memory parallel version of the ATMS, present detailed results of its execution, and discuss the factors which l imit the available speedup.
منابع مشابه
Implementing PARMACS Macros for Shared Memory Multiprocessor Environments
In order to evaluate the goodness of parallel systems, it is necessary to know how parallel programs behave. The SPLASH-2 applications provide us a realistic workload for such systems. So, we have made different implementations of the PARMACS macros used by SPLASH-2 applications, based on several execution and synchronization models, from classical Unix processes to multithreaded systems. Resul...
متن کاملExperiences with the Hector Multiprocessor
Hector is a shared-memory multiprocessor based on a hierarchy of unidirectional slotted rings. The architecture was designed to be both size scalable and generation scalable, yet remain simple. The Hector system demonstrates that a scal-able shared-memory multiprocessor need not be more complex than a distributed-memory multicomputer, yet it can provide for lower latency communication. This pap...
متن کاملA Scaleable Multiprocessor Architecture with Multiple Read-Write Memory Model
This paper presents a scalable multiprocessor architecture with multiple access memories and multi-way busses. This parallel architecture with more intelligent memory model and efficient multi-way interconnection network organization is called as CRrCW (Concurrent Read and restricted Concurrent Write) scaleable multiprocessor system. The memory and network model provides concurrent memory acces...
متن کاملAutoscheduling in a Shared Memory Multiprocessor
This paper describes the implementation of autoscheduling on shared memory multiprocessors. Autoscheduling is a model of computation that provides efficient support for multiprocessing and multiprogramming in a general purpose multiprocessor by exploiting parallelism at different levels of granularity. The vehicle for implementing autoscheduling is the hierarchical task graph (HTG), an intermed...
متن کاملCompiling Parallel Lisp for a Shared Memory Multiprocessor
There is a commonly held idea that although Lisp is a good language for prototyping and software development, it is often too inefcient to be useful in actual implementation. Advances in compiling Lisp have begun to change this notion. However, the situation is less clear in the case of parallel Lisp dialects. In this paper, we report on our experience in implementing a compiler for a parallel ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1989